Gary T. Leavens
Gary Leavens | |
|---|---|
| Academic background | |
| Education | University of Michigan (BS) University of Southern California (MS) Massachusetts Institute of Technology (PhD) |
| Academic work | |
| Discipline | Computer science |
| Sub-discipline | Specification language Information assurance Object-oriented programming Type theory Computer science education |
| Institutions | Iowa State University University of Central Florida |
Gary T. Leavens[1] is an American academic working as a professor of computer science at the University of Central Florida.
Education
[edit]Leavens earned a Bachelor of Science in computer and communication science from the University of Michigan, a Master of Science in computer science from the University of Southern California, and a PhD in philosophy from the Massachusetts Institute of Technology.[2]
Career
[edit]From 1977 to 1984, Leavens worked on the technical staff at Bell Labs. From 1989 until 2007, he was a professor of computer science at Iowa State University. His scholarship focuses on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. Leavens was the program chair for 2009 OOPSLA.
References
[edit]- ^ "Index of Gary T. Leavens's WWW Pages". www.cs.ucf.edu. Retrieved 2023-01-04.
- ^ "Gary Leavens". UCF College of Engineering and Computer Science. Retrieved 2023-01-04.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
